[INFO] fetching crate rumpsteak-theory 0.9.1...
[INFO] testing rumpsteak-theory-0.9.1 against try#0abe69e6c16114311cc2700e972492e64d69c28f for pr-154065-1
[INFO] extracting crate rumpsteak-theory 0.9.1 into /workspace/builds/worker-7-tc2/source
[INFO] started tweaking crates.io crate rumpsteak-theory 0.9.1
[INFO] removed 0 missing tests
[INFO] finished tweaking crates.io crate rumpsteak-theory 0.9.1
[INFO] tweaked toml for crates.io crate rumpsteak-theory 0.9.1 written to /workspace/builds/worker-7-tc2/source/Cargo.toml
[INFO] validating manifest of crates.io crate rumpsteak-theory 0.9.1 on toolchain 0abe69e6c16114311cc2700e972492e64d69c28f
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--manifest-path" "Cargo.toml" "--no-deps", kill_on_drop: false }`
[INFO] crate crates.io crate rumpsteak-theory 0.9.1 already has a lockfile, it will not be regenerated
[INFO] running `Command { std: CARGO_HOME="/workspace/cargo-home" RUSTUP_HOME="/workspace/rustup-home" "/workspace/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "fetch" "--manifest-path" "Cargo.toml", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "metadata" "--no-deps" "--format-version=1", kill_on_drop: false }`
[INFO] [stdout] 02a3a64277b50c0d9bcec948e77630be2c09a96dc35d49ef213a7e943a203f2b
[INFO] running `Command { std: "docker" "start" "-a" "02a3a64277b50c0d9bcec948e77630be2c09a96dc35d49ef213a7e943a203f2b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "inspect" "02a3a64277b50c0d9bcec948e77630be2c09a96dc35d49ef213a7e943a203f2b", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "02a3a64277b50c0d9bcec948e77630be2c09a96dc35d49ef213a7e943a203f2b", kill_on_drop: false }`
[INFO] [stdout] 02a3a64277b50c0d9bcec948e77630be2c09a96dc35d49ef213a7e943a203f2b
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "build" "--frozen" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] 3b995b0d150938c56b027457c38d5e0f6670601c7955cec4f804c6b4441133ad
[INFO] running `Command { std: "docker" "start" "-a" "3b995b0d150938c56b027457c38d5e0f6670601c7955cec4f804c6b4441133ad", kill_on_drop: false }`
[INFO] [stderr]    Compiling proc-macro2 v1.0.103
[INFO] [stderr]    Compiling serde_json v1.0.145
[INFO] [stderr]    Compiling sha2 v0.10.9
[INFO] [stderr]    Compiling quote v1.0.42
[INFO] [stderr]    Compiling syn v2.0.110
[INFO] [stderr]    Compiling thiserror-impl v1.0.69
[INFO] [stderr]    Compiling serde_derive v1.0.228
[INFO] [stderr]    Compiling thiserror v1.0.69
[INFO] [stderr]    Compiling serde v1.0.228
[INFO] [stderr]    Compiling rumpsteak-types v0.9.1
[INFO] [stderr]    Compiling rumpsteak-theory v0.9.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `dev` profile [unoptimized + debuginfo] target(s) in 9.31s
[INFO] running `Command { std: "docker" "inspect" "3b995b0d150938c56b027457c38d5e0f6670601c7955cec4f804c6b4441133ad", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "3b995b0d150938c56b027457c38d5e0f6670601c7955cec4f804c6b4441133ad", kill_on_drop: false }`
[INFO] [stdout] 3b995b0d150938c56b027457c38d5e0f6670601c7955cec4f804c6b4441133ad
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen" "--no-run" "--message-format=json", kill_on_drop: false }`
[INFO] [stdout] c46be824643da969f284c6e694287407b5336d8075c8e9cfaa2609311349457f
[INFO] running `Command { std: "docker" "start" "-a" "c46be824643da969f284c6e694287407b5336d8075c8e9cfaa2609311349457f", kill_on_drop: false }`
[INFO] [stderr]    Compiling rustix v1.1.2
[INFO] [stderr]    Compiling num-traits v0.2.19
[INFO] [stderr]    Compiling once_cell v1.21.3
[INFO] [stderr]    Compiling quick-error v1.2.3
[INFO] [stderr]    Compiling getrandom v0.3.4
[INFO] [stderr]    Compiling ppv-lite86 v0.2.21
[INFO] [stderr]    Compiling wait-timeout v0.2.1
[INFO] [stderr]    Compiling bit-set v0.8.0
[INFO] [stderr]    Compiling unarray v0.1.4
[INFO] [stderr]    Compiling assert_matches v1.5.0
[INFO] [stderr]    Compiling rand_core v0.9.3
[INFO] [stderr]    Compiling rand v0.9.2
[INFO] [stderr]    Compiling rand_xorshift v0.4.0
[INFO] [stderr]    Compiling rand_chacha v0.9.0
[INFO] [stderr]    Compiling tempfile v3.23.0
[INFO] [stderr]    Compiling rusty-fork v0.3.1
[INFO] [stderr]    Compiling proptest v1.9.0
[INFO] [stderr]    Compiling rumpsteak-theory v0.9.1 (/opt/rustwide/workdir)
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 10.10s
[INFO] running `Command { std: "docker" "inspect" "c46be824643da969f284c6e694287407b5336d8075c8e9cfaa2609311349457f", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "c46be824643da969f284c6e694287407b5336d8075c8e9cfaa2609311349457f", kill_on_drop: false }`
[INFO] [stdout] c46be824643da969f284c6e694287407b5336d8075c8e9cfaa2609311349457f
[INFO] running `Command { std: "docker" "create" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/target:/opt/rustwide/target:rw,Z" "-v" "/var/lib/crater-agent-workspace/builds/worker-7-tc2/source:/opt/rustwide/workdir:ro,Z" "-v" "/var/lib/crater-agent-workspace/cargo-home:/opt/rustwide/cargo-home:ro,Z" "-v" "/var/lib/crater-agent-workspace/rustup-home:/opt/rustwide/rustup-home:ro,Z" "-e" "SOURCE_DIR=/opt/rustwide/workdir" "-e" "CARGO_TARGET_DIR=/opt/rustwide/target" "-e" "CARGO_INCREMENTAL=0" "-e" "RUST_BACKTRACE=full" "-e" "RUSTFLAGS=--cap-lints=forbid" "-e" "RUSTDOCFLAGS=--cap-lints=forbid" "-e" "CARGO_HOME=/opt/rustwide/cargo-home" "-e" "RUSTUP_HOME=/opt/rustwide/rustup-home" "-w" "/opt/rustwide/workdir" "-m" "1610612736" "--user" "0:0" "--network" "none" "ghcr.io/rust-lang/crates-build-env/linux@sha256:d429b63d4308055ea97f60fb1d3dfca48854a00942f1bd2ad806beaf015945ec" "/opt/rustwide/cargo-home/bin/cargo" "+0abe69e6c16114311cc2700e972492e64d69c28f" "test" "--frozen", kill_on_drop: false }`
[INFO] [stdout] 8efbbd81fa6988181a3ecf43e681ffed7096d4bf4f6cb638b80f54ba6c8e50e1
[INFO] running `Command { std: "docker" "start" "-a" "8efbbd81fa6988181a3ecf43e681ffed7096d4bf4f6cb638b80f54ba6c8e50e1", kill_on_drop: false }`
[INFO] [stderr]     Finished `test` profile [unoptimized + debuginfo] target(s) in 0.11s
[INFO] [stderr]      Running unittests src/lib.rs (/opt/rustwide/target/debug/deps/rumpsteak_theory-f20c0493086385eb)
[INFO] [stdout] 
[INFO] [stdout] running 115 tests
[INFO] [stdout] test bounded::tests::test_end_unchanged ... ok
[INFO] [stdout] test bounded::tests::test_fuel_one ... ok
[INFO] [stdout] test bounded::tests::test_unfold_bounded ... ok
[INFO] [stdout] test bounded::tests::test_fuel_zero ... ok
[INFO] [stdout] test bounded::tests::test_fuel_preserves_structure ... ok
[INFO] [stdout] test bounded::tests::test_yield_after_zero ... ok
[INFO] [stdout] test bounded::tests::test_yield_when_condition ... ok
[INFO] [stdout] test coherence::tests::test_action_pred ... ok
[INFO] [stdout] test coherence::tests::test_coherent_choice ... ok
[INFO] [stdout] test coherence::tests::test_coherent_simple ... ok
[INFO] [stdout] test coherence::tests::test_coherent_recursive ... ok
[INFO] [stdout] test coherence::tests::test_good_g_choice ... ok
[INFO] [stdout] test coherence::tests::test_good_g ... ok
[INFO] [stdout] test coherence::tests::test_incoherent_empty_branches ... ok
[INFO] [stdout] test coherence::tests::test_incoherent_duplicate_labels ... ok
[INFO] [stdout] test coherence::tests::test_incoherent_self_comm ... ok
[INFO] [stdout] test coherence::tests::test_not_projectable_non_mergeable_branches ... ok
[INFO] [stdout] test coherence::tests::test_projectable_mergeable_branches_identical_sends ... ok
[INFO] [stdout] test coherence::tests::test_projectable_mergeable_branches_recv_union ... ok
[INFO] [stdout] test coherence::tests::test_projectable_simple ... ok
[INFO] [stdout] test coherence::tests::test_projectable_three_party ... ok
[INFO] [stdout] test coherence::tests::test_size_pred ... ok
[INFO] [stdout] test duality::tests::test_dual_choice ... ok
[INFO] [stdout] test bounded::tests::test_yield_after_one ... ok
[INFO] [stdout] test duality::tests::test_dual_end ... ok
[INFO] [stdout] test duality::tests::test_dual_involution ... ok
[INFO] [stdout] test duality::tests::test_dual_recursive ... ok
[INFO] [stdout] test duality::tests::test_dual_recv ... ok
[INFO] [stdout] test duality::tests::test_is_dual ... ok
[INFO] [stdout] test duality::tests::test_dual_send ... ok
[INFO] [stdout] test projection::tests::test_body_mentions_role_end ... ok
[INFO] [stdout] test projection::tests::test_body_mentions_role_in_branch ... ok
[INFO] [stdout] test projection::tests::test_body_mentions_role_in_continuation ... ok
[INFO] [stdout] test projection::tests::test_body_mentions_role_not_mentioned ... ok
[INFO] [stdout] test projection::tests::test_body_mentions_role_receiver ... ok
[INFO] [stdout] test projection::tests::test_memoized_projector_alpha_equivalence ... ok
[INFO] [stdout] test projection::tests::test_project_receiver ... ok
[INFO] [stdout] test coherence::tests::test_not_projectable_different_send_labels ... ok
[INFO] [stdout] test projection::tests::test_body_mentions_role_var ... ok
[INFO] [stdout] test projection::tests::test_project_recursive ... ok
[INFO] [stdout] test projection::tests::test_memoized_projector_clear ... ok
[INFO] [stdout] test projection::tests::test_memoized_projector_different_roles ... ok
[INFO] [stdout] test projection::tests::test_memoized_projector_error_cached ... ok
[INFO] [stdout] test projection::tests::test_memoized_projector_basic ... ok
[INFO] [stdout] test projection::tests::test_project_all ... ok
[INFO] [stdout] test projection::tests::test_project_recursive_non_participant_mergeable ... ok
[INFO] [stdout] test projection::tests::test_project_end ... ok
[INFO] [stdout] test projection::tests::test_project_choice ... ok
[INFO] [stdout] test projection::tests::test_memoized_projector_project_all ... ok
[INFO] [stdout] test projection::tests::test_project_recursive_non_participant_with_var_body ... ok
[INFO] [stdout] test projection::tests::test_project_non_participant ... ok
[INFO] [stdout] test projection::tests::test_project_recursive_participant_gets_mu ... ok
[INFO] [stdout] test projection::tests::test_project_three_party_merge_sends_different_labels_fails ... ok
[INFO] [stdout] test semantics::tests::test_can_step_async ... ok
[INFO] [stdout] test projection::tests::test_project_recursive_non_participant_gets_end ... ok
[INFO] [stdout] test projection::tests::test_project_three_party_merge_sends_same_label_succeeds ... ok
[INFO] [stdout] test projection::tests::test_project_three_party_merge_recvs_different_labels_succeeds ... ok
[INFO] [stdout] test semantics::tests::test_can_step_wrong_label ... ok
[INFO] [stdout] test semantics::tests::test_can_step_mu ... ok
[INFO] [stdout] test semantics::tests::test_good_g ... ok
[INFO] [stdout] test semantics::tests::test_can_step_wrong_action ... ok
[INFO] [stdout] test semantics::tests::test_can_step_async_blocked ... ok
[INFO] [stdout] test projection::tests::test_project_sender ... ok
[INFO] [stdout] test semantics::tests::test_consume_with_proof ... ok
[INFO] [stdout] test projection::tests::test_project_recursive_partial_participant_fails_merge ... ok
[INFO] [stdout] test semantics::tests::test_can_step_head ... ok
[INFO] [stdout] test semantics::tests::test_local_action_to_global ... ok
[INFO] [stdout] test semantics::tests::test_local_can_step_async ... ok
[INFO] [stdout] test semantics::tests::test_local_can_step_send ... ok
[INFO] [stdout] test semantics::tests::test_local_can_step_recv ... ok
[INFO] [stdout] test semantics::tests::test_local_step_send ... ok
[INFO] [stdout] test semantics::tests::test_reduces_star ... ok
[INFO] [stdout] test semantics::tests::test_step_async ... ok
[INFO] [stdout] test semantics::tests::test_reduces ... ok
[INFO] [stdout] test semantics::tests::test_step_mu ... ok
[INFO] [stdout] test subtyping::r#async::tests::test_async_subtype_identical ... ok
[INFO] [stdout] test subtyping::r#async::tests::test_input_tree_build ... ok
[INFO] [stdout] test subtyping::r#async::tests::test_orphan_free_end ... ok
[INFO] [stdout] test subtyping::r#async::tests::test_output_tree_build ... ok
[INFO] [stdout] test subtyping::r#async::tests::test_orphan_free_simple ... ok
[INFO] [stdout] test subtyping::r#async::tests::test_siso_decompose_send ... ok
[INFO] [stdout] test subtyping::r#async::tests::test_siso_decompose_end ... ok
[INFO] [stdout] test subtyping::r#async::tests::test_siso_decompose_recv ... ok
[INFO] [stdout] test subtyping::sync::tests::test_partner_mismatch ... ok
[INFO] [stdout] test subtyping::sync::tests::test_send_identical ... ok
[INFO] [stdout] test well_formedness::tests::test_is_well_formed ... ok
[INFO] [stdout] test well_formedness::tests::test_unique_labels_duplicate ... ok
[INFO] [stdout] test semantics::tests::test_step_head ... ok
[INFO] [stdout] test subtyping::sync::tests::test_end_subtype ... ok
[INFO] [stdout] test well_formedness::tests::test_unique_labels_local ... ok
[INFO] [stdout] test subtyping::sync::tests::test_direction_mismatch ... ok
[INFO] [stdout] test subtyping::sync::tests::test_recv_contravariant ... ok
[INFO] [stdout] test subtyping::sync::tests::test_recursive_subtype ... ok
[INFO] [stdout] test well_formedness::tests::test_unique_labels_nested ... ok
[INFO] [stdout] test subtyping::sync::tests::test_send_missing_label ... ok
[INFO] [stdout] test subtyping::sync::tests::test_send_covariant ... ok
[INFO] [stdout] test subtyping::sync::tests::test_var_subtype ... ok
[INFO] [stdout] test subtyping::sync::tests::test_var_mismatch ... ok
[INFO] [stdout] test subtyping::sync::tests::test_recv_extra_label_fails ... ok
[INFO] [stdout] test well_formedness::tests::test_unique_labels_recursive ... ok
[INFO] [stdout] test well_formedness::tests::test_unique_labels_simple ... ok
[INFO] [stdout] test well_formedness::tests::test_validate_global_duplicate_labels ... ok
[INFO] [stdout] test well_formedness::tests::test_validate_global_nested_duplicate_labels ... ok
[INFO] [stdout] test well_formedness::tests::test_validate_global_self_comm ... ok
[INFO] [stdout] test well_formedness::tests::test_validate_global_simple ... ok
[INFO] [stdout] test well_formedness::tests::test_validate_global_unbound_var ... ok
[INFO] [stdout] test well_formedness::tests::test_validate_global_unguarded ... ok
[INFO] [stdout] test well_formedness::tests::test_validate_local_nested_duplicate_labels ... ok
[INFO] [stdout] test well_formedness::tests::test_validate_local_duplicate_labels ... ok
[INFO] [stdout] test well_formedness::tests::test_validate_local_simple ... ok
[INFO] [stdout] test well_formedness::tests::test_validate_local_recursive ... ok
[INFO] [stdout] test well_formedness::tests::test_validate_local_unbound_var ... ok
[INFO] [stdout] test well_formedness::tests::test_validate_local_unguarded ... ok
[INFO] [stdout] test well_formedness::tests::test_validate_global_recursive ... ok
[INFO] [stdout] test projection::tests::test_body_mentions_role_sender ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 115 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/coherence_preservation_tests.rs (/opt/rustwide/target/debug/deps/coherence_preservation_tests-06db601115ce99a9)
[INFO] [stdout] 
[INFO] [stdout] running 25 tests
[INFO] [stdout] test test_duality_preserves_unique_labels ... ok
[INFO] [stdout] test test_duality_preserves_well_formedness ... ok
[INFO] [stdout] test test_incoherent_duplicate_labels ... ok
[INFO] [stdout] test test_incoherent_self_comm ... ok
[INFO] [stdout] test test_incoherent_empty_branches ... ok
[INFO] [stdout] test test_merge_branch_choices ... ok
[INFO] [stdout] test test_merge_end_types ... ok
[INFO] [stdout] test test_projection_of_coherent_type ... ok
[INFO] [stdout] test test_recursive_merge ... ok
[INFO] [stdout] test test_recursive_projection_preserves_well_formedness ... ok
[INFO] [stdout] test test_three_party_projection_preserves_well_formedness ... ok
[INFO] [stdout] test test_choice_projection_preserves_well_formedness ... ok
[INFO] [stdout] test test_coherent_recursive_protocol ... ok
[INFO] [stdout] test test_simple_send_projection_preserves_well_formedness ... ok
[INFO] [stdout] test prop_merge_preserves_well_formedness ... ok
[INFO] [stdout] test prop_successful_projection_implies_consistency ... ok
[INFO] [stdout] test prop_projection_preserves_well_formedness ... ok
[INFO] [stdout] test test_merge_identical_types ... ok
[INFO] [stdout] test test_coherent_simple_protocol ... ok
[INFO] [stdout] test prop_coherent_implies_projectable ... ok
[INFO] [stdout] test prop_duality_preserves_labels ... ok
[INFO] [stdout] test prop_projection_success_implies_projectable ... ok
[INFO] [stdout] test prop_duality_preserves_well_formedness ... ok
[INFO] [stdout] test prop_merge_preserves_unique_labels ... ok
[INFO] [stdout] test prop_coherence_bundle_consistency ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 25 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.06s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/deadlock_prevention_tests.rs (/opt/rustwide/target/debug/deps/deadlock_prevention_tests-114788c683e9635a)
[INFO] [stdout] 
[INFO] [stdout] running 9 tests
[INFO] [stdout] test test_deadlock_prevention_pipeline ... ok
[INFO] [stdout] test test_error_messages_are_informative ... ok
[INFO] [stdout] test test_direct_unguarded_recursion_rejected ... ok
[INFO] [stdout] test test_guarded_recursion_accepted ... ok
[INFO] [stdout] test test_nested_unguarded_recursion_rejected ... ok
[INFO] [stdout] test test_various_unguarded_patterns_all_rejected ... ok
[INFO] [stdout] test test_comprehensive_deadlock_rejection ... ok
[INFO] [stdout] test test_local_unguarded_recursion_rejected ... ok
[INFO] [stdout] test test_realistic_deadlock_scenario ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 9 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.02s
[INFO] [stdout] 
[INFO] [stderr]      Running tests/proptest_invariants.rs (/opt/rustwide/target/debug/deps/proptest_invariants-9be08b0b70d89b74)
[INFO] [stdout] 
[INFO] [stdout] running 30 tests
[INFO] [stdout] test prop_dual_swaps_send_recv ... ok
[INFO] [stdout] test prop_merge_is_commutative ... ok
[INFO] [stdout] test prop_coherent_end ... ok
[INFO] [stdout] test prop_async_subtype_reflexive ... ok
[INFO] [stdout] test prop_coherent_simple_send ... ok
[INFO] [stdout] test prop_guardedness_equivalence_global ... ok
[INFO] [stdout] test prop_merge_end_identity ... ok
[INFO] [stdout] test prop_projection_non_participant_gets_end_or_continuation ... ok
[INFO] [stdout] test prop_projection_sender_gets_send ... ok
[INFO] [stdout] test prop_enabled_implies_step_exists ... ok
[INFO] [stdout] test prop_unguarded_global_not_well_formed ... ok
[INFO] [stdout] test prop_guardedness_equivalence_local ... ok
[INFO] [stdout] test prop_unbound_var_is_ill_formed ... ok
[INFO] [stdout] test prop_unguarded_recursion_is_ill_formed ... ok
[INFO] [stdout] test prop_step_deterministic ... ok
[INFO] [stdout] test prop_sync_subtype_end ... ok
[INFO] [stdout] test prop_duality_is_involution ... ok
[INFO] [stdout] test prop_projection_preserves_well_formedness ... ok
[INFO] [stdout] test prop_generated_global_types_are_guarded ... ok
[INFO] [stdout] test prop_well_formed_local_implies_guarded ... ok
[INFO] [stdout] test prop_sync_subtype_reflexive ... ok
[INFO] [stdout] test prop_self_comm_is_ill_formed ... ok
[INFO] [stdout] test prop_generated_types_are_well_formed ... ok
[INFO] [stdout] test prop_projection_end_is_end ... ok
[INFO] [stdout] test prop_projection_receiver_gets_recv ... ok
[INFO] [stdout] test prop_generated_local_types_are_guarded ... ok
[INFO] [stdout] test prop_well_formed_global_implies_guarded ... ok
[INFO] [stdout] test prop_unguarded_local_not_well_formed ... ok
[INFO] [stdout] test prop_merge_is_idempotent ... ok
[INFO] [stdout] test prop_well_formed_implies_coherent_predicates ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 30 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 0.22s
[INFO] [stdout] 
[INFO] [stderr]    Doc-tests rumpsteak_theory
[INFO] [stdout] 
[INFO] [stdout] running 18 tests
[INFO] [stdout] test src/semantics.rs - semantics::local_can_step (line 288) ... ok
[INFO] [stdout] test src/duality.rs - duality::dual (line 23) ... ok
[INFO] [stdout] test src/subtyping/async.rs - subtyping::r#async::async_subtype (line 310) ... ok
[INFO] [stdout] test src/semantics.rs - semantics::can_step (line 127) ... ok
[INFO] [stdout] test src/projection.rs - projection::project (line 85) ... ok
[INFO] [stdout] test src/projection.rs - projection (line 25) ... ok
[INFO] [stdout] test src/duality.rs - duality::is_dual (line 42) ... ok
[INFO] [stdout] test src/semantics.rs - semantics::step (line 201) ... ok
[INFO] [stdout] test src/subtyping/async.rs - subtyping::r#async::orphan_free (line 346) ... ok
[INFO] [stdout] test src/bounded.rs - bounded (line 15) ... ok
[INFO] [stdout] test src/well_formedness.rs - well_formedness::unique_labels (line 142) ... ok
[INFO] [stdout] test src/projection.rs - projection::MemoizedProjector (line 218) ... ok
[INFO] [stdout] test src/coherence.rs - coherence::projectable (line 137) ... ok
[INFO] [stdout] test src/subtyping/async.rs - subtyping::r#async::siso_decompose (line 93) ... ok
[INFO] [stdout] test src/well_formedness.rs - well_formedness::validate_global (line 68) ... ok
[INFO] [stdout] test src/coherence.rs - coherence::check_coherent (line 64) ... ok
[INFO] [stdout] test src/subtyping/sync.rs - subtyping::sync::sync_subtype (line 64) ... ok
[INFO] [stdout] test src/well_formedness.rs - well_formedness::validate_local (line 261) ... ok
[INFO] [stdout] 
[INFO] [stdout] test result: ok. 18 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out; finished in 1.22s
[INFO] [stdout] 
[INFO] running `Command { std: "docker" "inspect" "8efbbd81fa6988181a3ecf43e681ffed7096d4bf4f6cb638b80f54ba6c8e50e1", kill_on_drop: false }`
[INFO] running `Command { std: "docker" "rm" "-f" "8efbbd81fa6988181a3ecf43e681ffed7096d4bf4f6cb638b80f54ba6c8e50e1", kill_on_drop: false }`
[INFO] [stdout] 8efbbd81fa6988181a3ecf43e681ffed7096d4bf4f6cb638b80f54ba6c8e50e1
